HYBRIS – Efficient Specification and Analysis of Hybrid Systems Part II – The Hybrid Low-Level Language Framework HL3

HYBRIS - Efficient Specification and Analysis of Hybrid Systems -- Part I: The HybridUML Profile for UML 2.0

A Hybrid Framework for Building an Efficient Incremental Intrusion Detection System

In this paper, a boosting-based incremental hybrid intrusion detection system is introduced. This system combines incremental misuse detection and incremental anomaly detection. We use boosting ensemble of weak classifiers to implement misuse intrusion detection system. It can identify new classes types of intrusions that do not exist in the training dataset for incremental misuse detection. As...

Energy and economic comparison of SOFC-GT, MCFC-GT, and SOFC-MCFC-GT hybrid systems

Conversion of fossil fuels to electrical power is the most popular method of electrical power generation. Due to the depletion of fossil fuels and the increase in air pollution, the necessity of using high efficiency power generation systems is increasing. High temperature fuel cells, such as solid oxide fuel cells (SOFC) and molten carbonate fuel cells (MCFC), have high efficiency. According t...

A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness

Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...

Evaluation of New Urbanism Principles: Hybrid AHP-TOPSIS Multi-Criteria Analysis Framework (Case Study: Neighborhoods of Historical Zone of Shiraz)

A large number of studies show that uncontrolled and unplanned spatial and functional developmentsin old central districts of large and medium-sized Iranian cities in past few decades have resulted in many unpleasanttransformations. Thus, the historic urban fabrics have gradually lost their socio-economic livability and quality and thisissue has led to urban distress, blight and deterioration.T...